A temporal dynamic deontic logic
نویسندگان
چکیده
منابع مشابه
A Dynamic Deontic Logic over Synchronous Actions
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive that what is usually found in computer science (like in software contracts, web services specifications, or communication protocols). CL is intended to be used in specif...
متن کاملA dynamic deontic logic for complex contracts
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found in computer science (like in software contracts, web services specifications, or communication protocols). CL is intended to be used in specif...
متن کاملCombining Dynamic Deontic Logic and Temporal Logic for the Speci cation of Deadlines
Intelligent agents have an agenda that is monitored continuously to decide what action is to be performed Formally an agenda is a set of deontic temporal con straints Deontic since the agenda speci es what the agent should do Temporal since the obligation is usu ally to be performed before a certain deadline or as soon as possible In this paper we investigate the con cepts necessary to describe...
متن کاملCombining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
Intelligent agents have an agenda that is monitored continuously to decide what action is to be performed. Formally, an agenda is a set of deontic temporal constraints. Deontic, since the agenda speciies what the agent should do. Temporal, since the obligation is usually to be performed before a certain deadline, or as soon as possible. In this paper, we investigate the concepts necessary to de...
متن کاملObligations with deadlines: a formalization in Dynamic Deontic Logic
Segerberg’s Dynamic Deontic Logic is a dynamic logic where among the set of all possible histories those fulfilling the norms are distinguished. An extension of this logic to obligations (respectively permissions and prohibitions) to do an action before a given deadline or during a given time interval is defined. These temporal constraints are defined by events which may have several occurrence...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2018
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exy008